Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
161	Local Strategy Improvement for Parity Game Solving Oliver Friedmann Martin Lange Dept. of Computer Science Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:10 Determinacy Automata theory Game theory Finite model theory Parity game
162	The Monad.Reader Issue 16 by Aran Donohue and John W. Lato and Louis Wasserman May 12, 2010 Add to Reading List Source URL: themonadreader.files.wordpress.com Language: English - Date: 2010-05-12 14:00:40 Models of computation Software engineering Computing Nondeterministic finite automaton Deterministic finite automaton Regular expression Monad Finite-state machine Regular language Automata theory Formal languages Theoretical computer science
163	JMLR: Workshop and Conference Proceedings 34:94–108, 2014 Proceedings of the 12th ICGI Very efficient learning of structured classes of subsequential functions from positive data Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Models of computation Theoretical computer science Finite state transducer Metalogic Symbol Structure String Automata theory Formal languages Mathematics
164	Updating the header James Cummings and Magdalena Turska 1 September 2014 Add to Reading List Source URL: dixit.uni-koeln.de Language: English - Date: 2015-04-01 12:27:46 P Software engineering Theoretical computer science Computing Automata theory Pattern matching Regular expression
165	Synthesis for Regular Specifications over Unbounded Domains Jad Hamza∗, Barbara Jobstmann†, Viktor Kuncak‡ ∗ ENS Cachan, France † CNRS/Verimag, France, ‡ EPFL, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-08-02 10:05:45 Mathematics Formal methods Nondeterministic finite automaton Linear temporal logic Finite-state machine Function Symbol Büchi automaton Automata theory Models of computation Theoretical computer science
166	A Uniformization Theorem for Nested Word to Word Transductions Dmitry Chistikov and Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbr¨ ucken, Germany Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-06-13 07:29:10 Nested word Finite state transducer Finite-state machine Büchi automaton Automata theory Theoretical computer science Computer science
167	SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder * Consi Add to Reading List Source URL: forsyte.at Language: English - Date: 2015-05-23 04:55:09 Probability theory Metalogic Model theory Automata theory
168	SMT-Based Synthesis of Distributed Systems∗ Bernd Finkbeiner Sven Schewe Universität des Saarlandes Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:35:50 Automata theory Symbol Ω-automaton
169	Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi? , Jörg Olschewski?? , and Wolfgang Thomas Lehrstuhl Informatik 7, RWTH Aachen University, Germany {chaturvedi,olschewski,thomas}@automata.rwth-aache Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:51 Formal languages Computer science Theory of computation Ω-automaton Omega language Büchi automaton Symbol Determinacy Regular language Automata theory Mathematics Theoretical computer science
170	A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat Add to Reading List Source URL: darwin.bth.rwth-aachen.de Language: English - Date: 2013-02-13 03:43:43 Automata theory Nested word Words

UPDATE